KIDS - A Knowledge-Based Software Development System
نویسنده
چکیده
The Kestrel Interactive Development System (KIDS) provides knowledge-based support for the derivation of correct and efficient programs from formal specifications. We trace the use of KIDS in deriving an algorithm for solving a problem arising from the design of sonar and radar signals. This derivation illustrates algorithm design, a generalized form of deductive inference, program simplification, finite differencing optimization, partial evaluation, case analysis, and data type refinement. All of the KIDS operations are automatic except the algorithm design tactics which presently require some interaction. Dozens of programs have been derived using the KIDS environment and we believe that it could be developed to the point where it can be used for routine programming.
منابع مشابه
{26 () Searching for a Global Search Algorithm
We report on a case study to assess the use of an advanced knowledge-based software design technique with programmers who have not participatedin the technique's development. We use the KIDS approach to algorithm design to construct two global search algorithms that route baggage through a transportation net. Construction of the second algorithm involves extending the KIDS knowledge base. Exper...
متن کاملA Model-Driven Decision Support System for Software Cost Estimation (Case Study: Projects in NASA60 Dataset)
Estimating the costs of software development is one of the most important activities in software project management. Inaccuracies in such estimates may cause irreparable loss. A low estimate of the cost of projects will result in failure on delivery on time and indicates the inefficiency of the software development team. On the other hand, high estimates of resources and costs for a project wil...
متن کاملComparison of the Fatty Acid Composition of the Longissimus Dorsi Muscle of Kids, Lambs and Calves Produced under Iranian Transhumant Production System
Transhumant production system (TPS) is a type of extensive livestock production practiced by transhumant pastoralists in which indigenous livestock breeds are mainly fed a pasture-based diet. The hypothesis tested in this work was whether differences existed between fat samples from the different species in respect to ratios of n-6/n-3, and polyunsaturated fatty acids to saturated fatty acids. ...
متن کاملA Structured Approach for Synthesizing Planners from Specifications
Plan synthesis approaches in AI fall into two categories: domain-independent and domain-dependent. The domainindependent approaches are applicable across a variety of domains, but may not be very efficient in any one given domain. The domain-dependent approaches can be very efficient for the domain for which they are designed, but would need to be written separately for each domain of interest....
متن کاملProposing an Appropriate Architecture for Decision Support Systems in the Field of Complex Chronic Care: Micro-Services Based Software Architecture in Kidney Transplant Care
Introduction: Development and successfully implementation of knowledge based clinical decision support system (KBCDSS) in kidney transplantation (KT) could support decision-making, reduce cost and improve quality of care. For practical use of these systems, however, many challenges have to be met. Besides to well-recognized challenges of design and implementation of information systems in heal...
متن کامل